Curry-Howard correspondence

[网络] 柯里-霍华德同构

热门查询

intersect　　vt. 横断，横切；贯穿 vi. 相交，交叉
snot　　n. 鼻涕；惹人嫌的人；蛮横无理的话
underrepresentation　　n. 代表名额不足
spring onion　　n. 小葱；香葱 [网络] 青葱；大葱；葱花
contingent　　n. 分遣队；偶然事件；分得部分；代表团 adj. 因情况而异的；不一定的；偶然发生的；可能的；依情况而定的；偶然的；[逻]有条件的
fenny　　adj. 沼泽的; 沼泽多的; 长在沼泽地带的; 住在沼泽地的
pleasure　　n. 快乐；希望；娱乐；令人高兴的事 vt. 使高兴；使满意 vi. 高兴；寻欢作乐
conciseness　　n. 简明，简洁；切除
bust　　n. 破产；半身像；萧条；胸部 adj. 破产了的；毁坏了的 vt. 使破产；使爆裂；逮捕 vi. 破产；爆裂；降低级别 n. (Bust)人名；(德)布斯特
socioreligious　　adj. 社会和宗教的；有关社会和宗教的
bring　　vt. 带来；促使；引起；使某人处于某种情况或境地 n. (Bring)人名；(英、瑞典)布林
og　　abbr. 奥运会（Olympic Games）
pillowcase　　n. 枕头套（等于pillow slip）
Apis　　[医] 蜂属
sprain　　n. 扭伤 vt. 扭伤
interpretable　　adj. 可说明的；可判断的；可翻译的
birthdate　　n. 生日，出生年月日
reprieve　　n. 暂缓；缓刑 vt. 缓期执行；暂时解救
good for　　un. 擅长；拿手的；精明的；非常拿手的 [网络] 有效；对…有好处；有支付…能力的
Eastleigh　　n. 伊斯特利 (英国国会选区)